21. Bidirectional transformations :
پدیدآورنده : Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
22. BigNum math :
پدیدآورنده : Tom St. Denis, Greg Rose
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security,Programming (Mathematics)
23. BigNum math
پدیدآورنده : / Tom St. Denis, Greg Rose
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Programming (Mathematics),Computer security,Electronic books. , lcsh
رده :
E-BOOK
24. Biomedical digital signal processing: C-language examples and laboratory experiments for the IBM PC
پدیدآورنده :
موضوع : Digital techniques ، Signal processing,، Computers in medicine,، Digital filters )Mathematics(,، IBM Personal Computer,، C )Computer program language(,، Biomedical Engineering,، Signal Processing, Computer Assisted,، Programming Languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
25. Box2d for Flash games
پدیدآورنده : Emanuele Feronato
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer animation-- Mathematics,Computer games-- Programming,Physics-- Data processing
رده :
QA76
.
76
.
C672
P36
2012
26. Calculating with Fortran
پدیدآورنده : Manifold, George O.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
73
.
F25
.
M35
27. Categories and computer science
پدیدآورنده : Walters, R. F. C.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing ، Categories )Mathematics(,، Computer programming
رده :
QA
169
.
W3
28. Categories and computer science
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ; Data processing ; Computer programming ;
29. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
283
30. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings, Lecture notes in comuter science
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C388
1987
31. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
پدیدآورنده : D.H. Pitt...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
389
32. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings, Lecture notes in comuter science
پدیدآورنده : D.H. Pitt ... ]et al.[ )ed.(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses
رده :
QA
76
.
6
.
C3882
1989
33. Computational category theory /
پدیدآورنده : D.E. Rydeheard, R.M. Burstall
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics)-- Data processing,Computer programming
رده :
QA169
.
R93
1988
34. Computational category theory
پدیدآورنده : David E. Rydeheard, Rod M. Burstall
موضوع : Categories (Mathematics)- Data processing,Computer programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
35. Computer science, a mathematical introduction: : applied mathematics--modeling, analysis, and optimization techniques with applications to software systems
پدیدآورنده : Lew, Art
موضوع : ، Computer science- Mathematics,، Electronic digital computers- Programming
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
36. Computer graphics :
پدیدآورنده : Jonas Gomes, Luis Velho, Mario Costa Sousa
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C (Computer program language),Computer graphics,Image processing-- Mathematics,Microcomputers-- Programming
رده :
T385
.
G649
2012
37. Computer programmer
پدیدآورنده : Luftig, Milton
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Ability testing ، Computer programming,Examinations, questions, etc ، Mathematics
رده :
QA
76
.
28
.
L8
1970
38. Computer science with Mathematica
پدیدآورنده : Roman E. Maeder
موضوع : Mathematica (Computer file),Mathematics, Data processing,Mathematica (Computer programming language)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
39. Computer science with Mathematica
پدیدآورنده : / Roman E. Maeder
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematica (Computer file),Mathematics- Data processing,Mathematica (Computer programming language)
رده :
QA76
.
95
.
M34
2000
40. Computer science with Mathematica : theory and practice for science, mathematics, and engineering
پدیدآورنده : / Roman E. Maeder.
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematica (Computer file),Mathematics -- Data processing.,Mathematica (Computer programming language)
رده :
QA76
.
95
.
M34
2000
